Order theory - PDFSEARCH.IO - Document Search Engine

Order theory
Results: 3266

#	Item
161	The limits of tractability in Resolution-based propositional proof systems Stefan Dantchev and Barnaby Martin? School of Engineering and Computing Sciences, Durham University, Science Labs, South Road, Durham DH1 3LE, U. Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2010-03-23 07:22:00 Logic Mathematical logic Mathematics Model theory Predicate logic Finite model theory Automated theorem proving Boolean algebra First-order logic Resolution FO Interpretation
162	Transformation rules from UML4MBT meta-model to SMT meta-model for model animation Jérôme Cantenot Fabrice Ambert Add to Reading List Source URL: st.inf.tu-dresden.de Language: English - Date: 2012-09-25 06:20:13 Software engineering Theoretical computer science Mathematical logic Formal methods Computability theory Lambda calculus Subroutines Satisfiability modulo theories XC HindleyMilner type system First-order logic Recursion
163	First-Order Formative Rules? Carsten Fuhs1 and Cynthia Kop2 1 2 University College London, Dept. of Computer Science, London WC1E 6BT, UK Add to Reading List Source URL: www.dcs.bbk.ac.uk Language: English - Date: 2014-05-03 11:37:43 Symbol Limit of a function Measure theory Differential topology Generalised Whitehead product Natural deduction
164	/Users/FR/Desktop/Dropbox/research/procout15/.texpadtmp/procout15.dvi Add to Reading List Source URL: www.frankrosar.de Language: English - Date: 2016-01-10 15:30:20 Auction theory Auctions Supply chain management Game theory Contract law Auction Subcontractor Order Price Procurement Outsourcing Market
165	The complexity of positive first-order logic without equality∗ Florent Madelaine Univ Clermont1, EA2146, Laboratoire d’algorithmique et d’image de Clermont-Ferrand, Aubi`ere, F-63170, France. fmadelaine@laic.u-cler Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2009-11-10 10:55:46 Complexity classes Structural complexity theory FO Finite model theory Computational complexity theory IP Homomorphism NP Reduction Symbol P versus NP problem Model theory
166	The limits of tractability in Resolution-based propositional proof systems Stefan Dantchev and Barnaby Martin 1 School of Engineering and Computing Sciences, Durham University, Science Labs, South Road, Durham DH1 3LE, U Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2011-06-15 11:37:40 Model theory Automated theorem proving Resolution First-order logic IP Interpretation
167	On the First-Order Approach in Principal-Agent Models with Hidden Borrowing and Lending Árpád Ábrahám,ySebastian Koehne,z and Nicola Pavoni x DecemberAbstract Add to Reading List Source URL: apps.eui.eu Language: English - Date: 2011-02-21 08:52:52 Asymmetric information Market failure Organizational theory Principalagent problem Preference Utility Moral hazard Optimal tax
168	Counting in Trees along Multidirectional Regular Paths∗ Everardo Bárcenas Pierre Genevès Nabil Layaïda Add to Reading List Source URL: db.ucsd.edu Language: English - Date: 2008-12-16 18:44:40 Model theory Formal languages Mathematical logic First-order logic Predicate logic Interpretation Well-formed formula Linear temporal logic Craig interpolation
169	CCH® Learning Center Quick Reference Card CCH Curriculums: CCH offers 14 different curriculums. You can search courses by curriculum and view which competencies they help you meet. New Training: Lists training courses t Add to Reading List Source URL: www.cchgroup.com Language: English - Date: 2016-01-12 17:53:21 Filter General topology Order theory Web search engine
170	Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations∗ Paul E. Oppenheimer Center for the Study of Language and Information Stanford University Add to Reading List Source URL: www.peoppenheimer.org Language: English - Date: 2016-07-11 03:14:21 Model theory Mathematical logic Formal languages Predicate logic Metalogic First-order logic Principia Mathematica Interpretation Well-formed formula Lambda calculus Constructible universe Structure

UPDATE